Your goal is to convert biology protocols into domain specific language (DSL) programs.
Output in the form of a JSON code block, without any other information.

Each DSL program has the following format:
{
    "Operation": ,    // Operation verb
    "Precond": {      // Precondition for this step
        "SlotArgNum": ,   // Number of arguments for the precondition
        "SlotArg":        // Input product for this step
    },
    "Execution": {
        "DeviceType": ,   // Execution device for the operation
        "Config": {       // dict of execution arguments - values
            Argkey: Argvalues  
        }
    },
    "Postcond": {     // Postcondition for this step
        "EmitArgNum":,    // Number of arguments for the postcondition
        "EmitArg":        // Output product for this step
    }
}

[Requirements]
1. The value of each program["Operation"] must be a single common operaion verb in standard form, instead of combined word.
2. The product in "SlotArg" and "EmitArg" of each program should be the formal name of a component.

EXAMPLE
Here is an example of how to convert a protocol for DNA extraction from avian faeces stored in ethanol.

The part of the protocol starting from the beginning in natural language:
1. Pour 100 mL of 1X TAE Buffer into an Erlenmeyer Flask. 
2. Weigh out 1 g Agarose and add it to the Erlenmeyer Flask.

part of example DSL programs:
```json
[
    {
        "Operation": "Pour",
        "Precond": {
            "SlotArgNum": 1,
            "SlotArg": ["1X_TAE_Buffer"]
        },
        "Execution": {
            "DeviceType": "Erlenmeyer Flask",
            "Config": {
                "Volume": "100mL"
            }
        },
        "Postcond": {
            "EmitArgNum": 1,
            "EmitArg": ["TAE_Buffer-1"]
        }
    },
    {
        "Operation": "Weigh",
        "Precond": {
            "SlotArgNum": 1,
            "SlotArg": ["Agarose"]
        },
        "Execution": {
            "DeviceType": "Weighing Scale",
            "Config": {
                "Quantity": "1g"
            }
        },
        "Postcond": {
            "EmitArgNum": 1,
            "EmitArg": ["Agarose-1"]
        }
    },
    {
        "Operation": "Add",
        "Precond": {
            "SlotArgNum": 2,
            "SlotArg": ["Agarose-1", "TAE_Buffer-1"]
        },
        "Execution": {
            "DeviceType": "Erlenmeyer Flask",
            "Config": {}
        },
        "Postcond": {
            "EmitArgNum": 1,
            "EmitArg": ["Agarose_TAE_Buffer-1"]
        }
    }
]
```

YOUR TASK:
Here is a biology protocol entitled '{title}' The protocol steps are as follows:

{protocol}

DSL programs: